Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Ÿ”—Combinatory Logic
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.comยท3d
๐Ÿ“Interval Arithmetic
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netยท19hยท
Discuss: Lobsters
๐ŸŒณIncremental Parsing
Flag this post
Day 41: Python Happy Number Checker, Detect Numbers Leading to 1 Through Digit Square Sums with Cycle Detection
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Interval Arithmetic
Flag this post
Langโ€™s theorem โ€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท9h
ฮปLambda Encodings
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.comยท9hยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฌLean
Flag this post
ECPv2: Fast, Efficient, and Scalable Global Optimization of Lipschitz Functions
arxiv.orgยท2d
๐Ÿง Machine Learning
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.ioยท19hยท
Discuss: r/programming
โšกCache Coherence
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.comยท8hยท
Discuss: Hacker News
๐ŸŽผAudio Lambda Calculus
Flag this post
The risk of round numbers and sharp thresholds in clinical practice
nature.comยท20hยท
Discuss: Hacker News
๐Ÿ“Interval Arithmetic
Flag this post
Distance Measurement Using Basys3
hackster.ioยท1d
๐Ÿ•น๏ธHardware Emulation
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.orgยท16h
โš›๏ธQuantum Algorithms
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comยท11hยท
Discuss: Hacker News
โฌŒBidirectional Typing
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.comยท16hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
How I Fixed a Confusing Bug in NumPy
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธProof-Carrying Archives
Flag this post
Weddle integration rule
johndcook.comยท2dยท
Discuss: Hacker News
๐Ÿ“Interval Arithmetic
Flag this post
How to compute daily VaR fast
pyquantnews.substack.comยท4hยท
Discuss: Substack
๐ŸŽฏArithmetic Coding Theory
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Concrete examples of the rate of convergence of Chernoff approximations: numerical results for the heat semigroup and open questions on them (with appendix: ful...
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Flag this post